(0 15 13)(1 19 3)(2 9 5)(4 20 7)(6 16 8)(10 14 12)(11 18 17)
ALLOWS (11/8)-SEQUENCE
1: (4 7 20)

(0 15 13)(1 19 3)(2 9 5)(4 7 20)(6 16 8)(10 14 12)(11 18 17)
2: (2 9 5)

(0 15 13)(1 19 3)(2)(4 7 20)(5)(6 16 8)(9)(10 14 12)(11 18 17)
3: (4 7 20)

(0 15 13)(1 19 3)(2)(4)(5)(6 16 8)(7)(9)(10 14 12)(11 18 17)(20)
4: (6 16 8)

(0 15 13)(1 19 3)(2)(4)(5)(6)(7)(8)(9)(10 14 12)(11 18 17)(16)(20)